On the information-theoretic approach to Gödel’s incompleteness theorem
نویسنده
چکیده
In this paper we briefly review and analyze three published proofs of Chaitin’s theorem, the celebrated information-theoretic version of Gödel’s incompleteness theorem. Then, we discuss our main perplexity concerning a key step common to all these demonstrations.
منابع مشابه
An implication of Gödel’s incompleteness theorem
A proof of Gödel’s incompleteness theorem is given. With this new proof a transfinite extension of Gödel’s theorem is considered. It is shown that if one assumes the set theory ZFC on the meta level as well as on the object level, a contradiction arises. The cause is shown to be the implicit identification of the meta level and the object level hidden behind the Gödel numbering. An implication ...
متن کاملOn the Nature of Gödel’s Second Incompleteness Theorem
In several recent articles, we have shown how such totality conditions are related to both generalizations and boundary-case exceptions for the Second Incompleteness Theorem. For instance, our article [2] showed how essentially all axiom systems recognizing addition and multiplication as “total” functions are unable to prove a theorem affirming their semantic tableaux consistency. In contrast, ...
متن کاملWhat Gödel’s Theorem Really Proves
It is proved in this paper the undecidable formula involved in Gödel’s first incompleteness theorem would be inconsistent if the formal system where it is defined were complete. So, before proving the formula is undecidable it is necessary to assume the system is not complete in order to ensure the formula is not inconsistent. Consequently, Gödel proof does not prove the formal system is incomp...
متن کاملCitations about Gödel’s Theorems
This is a short account of various notes and opinions about Gödel’s theorems I found in my books. It should ease the task of actually writing something about Gödel’s First Incompleteness Theorem. Citations about Gödel’s Theorems
متن کاملGödel's Theorem and Information
Gödel's theorem may be demonstrated using arguments having an information-theoretic flavor. In such an approach it is possible to argue that if a theorem contains more information than a given set of axioms, then it is impossible for the theorem to be derived from the axioms. In contrast with the traditional proof based on the paradox of the liar, this new viewpoint suggests that the incomplete...
متن کامل